---

completeness of deduction system

英 [kəmˈpliːtnəs ɒv dɪˈdʌkʃn ˈsɪstəm] 美 [kəmˈpliːtnəs əv dɪˈdʌkʃn ˈsɪstəm]

网络  演绎系统完备性

计算机

---

---